github-merge-pr: doc: Install extra git-filter-repo

The git filter-repo command is not available by default.

Signed-off-by: Hauke Mehrtens <[email protected]>

diff --git a/github-merge-pr.sh b/github-merge-pr.sh
index f294c850c963ed35f80dc21bb8eca9a632d0c62e..1bd3e2f0b072146f66a42fb7142817edcc9e078d 100755 (executable)
--- a/github-merge-pr.sh
+++ b/github-merge-pr.sh
@@ -6,6 +6,8 @@
 # 2. Make sure you can correctly push and force push to the github
 #    repository
 #
+# Make sure to install the extra git-filter-repo package.
+#
 # Usage: github-merge-pr.sh PR_NUMBER BRANCH REPO_NAME
 #
 # BRANCH is optional and defaults to main.